Update @detailmenu.
authorGlenn Morris <rgm@gnu.org>
Fri, 10 Jul 2009 05:23:59 +0000 (05:23 +0000)
committerGlenn Morris <rgm@gnu.org>
Fri, 10 Jul 2009 05:23:59 +0000 (05:23 +0000)
commit0b001266a088258715ee3e823751daa0c86e9e28
tree55e80a2f6d06ac08044c4a60b5fbbdb9bc4cbf06
parent63ffd7cfda3b97a7290438a656eb880245226d7e
Update @detailmenu.
doc/lispref/vol1.texi